PATH_DISTRIBUTER Contracts

Automatic generation produced by ISE Eiffel
Classes Clusters Cluster hierarchy Chart Relations Text Contracts
class interface
    PATH_DISTRIBUTER

create 
    make

feature -- Initialization

    make (a_path_list: LIST [STRING]; a_medium_size: REAL)
            -- loads all directories in directory_collection;
            -- non-existing directories and those bigger than medium size will be excluded.
        require
            a_path_list_exists: a_path_list /= Void and then a_path_list.count > 0
            medium_size_positive: a_medium_size > 0
        ensure
            medium_size_set: medium_size = a_medium_size
    
feature -- Public functions

    sort: CD_COLLECTION
            -- sort directories on cds, return a cd_collection;
            -- directories from directory_collection remain the same
        ensure
            result_exists: Result /= Void
            cd_collection_set: cd_collection = Result

    output (a_path_to_output_file: STRING)
            -- creates output file and puts result of the sort routine in it
        require
            output_path_exists: a_path_to_output_file /= Void and then a_path_to_output_file.count > 0
    
end -- class PATH_DISTRIBUTERClasses Clusters Cluster hierarchy Chart Relations Text Contracts
-- Generated by ISE Eiffel --
For more details: www.eiffel.com